#include <stdio.h>

void wait_pid_2(void) {

}